Issue 490
haskellweekly.news·11h
🔗Functional Compilers
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·13h·
Discuss: DEV
🔬Refinement Types
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·11h·
Discuss: Hacker News
🔗Functional Compilers
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Controlling program flow with capabilities in Scala
nrinaudo.github.io·13h·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
haskell/mtl
github.com·22h
🔗Functional Compilers
Ronald Jensen (Apr 01, 1936 – Sept 16, 2025)
ests.wordpress.com·13h
🧬Functional Programming
What I learned building a programming language with LLM agents
eddmann.com·6h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·2d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
Carbon Copy No.8: Classes Part II
github.com·16h·
Discuss: Hacker News
🎯Gradual Typing
Authorizing access to data with RAG implementations
aws.amazon.com·7m
🔐Capability Systems
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🔗Functional Compilers
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·6h
💻Local LLMs
Java 25: Oracle Makes Java Easier To Learn, Ready for AI Development
thenewstack.io·33m
⚙️PL Implementation
System Instruction Fixed Point
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
Lambda Explained: A Visual Journey from Init to Invoke
dev.to·1d·
Discuss: DEV
⬆️Lambda Lifting
Providing APIs (2013)
en.wikisource.org·20h·
Discuss: Hacker News
📋Document Grammars